<?php

$libraries = array(
	'Settings',
	'WebCommands',
);

?>